Le funzioni razionali di j sono modulari, e di fatto danno tutte le funzioni modulari. Classicamente, l'invariante j è stata studiata come parametrizzazione di curve ellittiche in , ma ha anche connessioni sorprendenti con le simmetrie del gruppo Mostro (questa connessione è chiamata monstrous moonshine).
Parte reale dell'invariante j in funzione del quadrato del nomo sul disco unitario Fase dell'invariante j in funzione del quadrato del nomo sul disco unitario
L'invariante j può essere definita come una funzione sul semipiano superioreH = { τ ∈ C, Im (τ) > 0},
dove la terza definizione implica che può essere espresso come un cubo, siccome 1728 .
In generale, ciò può essere spiegato considerando ciascun τ come rappresentante una classe di isomorfismo di curve ellittiche. Ogni curva ellittica E su C è un toro complesso, e quindi può essere identificata con un reticolo di rango 2; cioè un reticolo bidimensionale di C . Questo reticolo può essere ruotato e scalato (operazioni che preservano la classe di isomorfismo), in modo che venga generato da 1 e τ ∈ H. Questo reticolo corrisponde alla curva ellittica (vedi funzioni ellittiche di Weierstrass).
Si noti che j è definito ovunque in H poiché il discriminante modulare non è nullo. Ciò è dovuto al fatto che il corrispondente polinomio cubico ha radici distinte.
La scelta standard di un dominio fondamentale (grigio) per il gruppo modulare che agisce sul semipiano superiore.
Si può dimostrare che Δ è una forma modulare di peso dodici, e g2 una di peso quattro, per cui la sua terza potenza è di peso dodici. Quindi il loro quoziente, e quindi j, è una funzione modulare di peso zero, in particolare una funzione olomorfa H → C invariante sotto l'azione di SL(2, Z). Quoziando per il suo centro { ±I } si ottiene il gruppo modulare, che possiamo identificare con il gruppo lineare speciale proiettivo PSL(2, Z).
Con un'opportuna scelta di trasformazione appartenente a questo gruppo,
possiamo ridurre τ a un valore che dà lo stesso valore per j e che giace nella regione fondamentale di j, che consiste di valori per τ che soddisfano le condizioni
La funzione j(τ), quando limitata a questa regione, continua ad assumere ogni valore nei numeri complessiC esattamente una volta. In altre parole, per ogni c in C, esiste un unico τ nella regione fondamentale tale che c = j(τ) . Pertanto j ha la proprietà di mappare la regione fondamentale sull'intero piano complesso.
Inoltre due valori τ,τ' ∈ H producono la stessa curva ellittica se e solo se τ = T(τ') per qualche T ∈ PSL(2, Z). Ciò significa che j fornisce una biiezione dall'insieme delle curve ellittiche su C al piano complesso.[2]
Essendo una superficie di Riemann, la regione fondamentale ha genere 0, e ogni funzione modulare (di livello uno) è una funzione razionale in j; e, viceversa, ogni funzione razionale in j è una funzione modulare. In altre parole, il campo delle funzioni modulari è C(j).
Se τ è un punto qualsiasi del semipiano superiore la cui curva ellittica corrispondente ha una moltiplicazione complessa (ovvero, se τ è un elemento qualsiasi di un campo quadratico immaginario con parte immaginaria positiva, in modo che j sia definito), allora j(τ) è un intero algebrico.[3] Questi valori speciali sono chiamati moduli singolari.
L'estensione del campo Q [j(τ), τ]/Q(τ) è abeliano, cioè ha un gruppo di Galois abeliano.
Sia Λ il reticolo in C generato da {1, τ}. È facile vedere che tutti gli elementi di Q(τ) che fissano Λ sotto la moltiplicazione formano un anello con unità, chiamato ordine. Gli altri reticoli con generatori {1, τ′}, associati in modo analogo allo stesso ordine definiscono i coniugati algebrici j(τ′) di j(τ) su Q(τ). Ordinato per inclusione, l'unico ordine massimale in Q(τ) è l'anello di interi algebrici di Q(τ), e i valori di τ che lo hanno come ordine associato portano a estensioni non ramificate di Q(τ).
Nel 1937 Theodor Schneider dimostrò il risultato sopra menzionato che se τ è un numero irrazionale quadratico nel semipiano superiore allora j(τ) è un numero intero algebrico. Inoltre dimostrò che se τ è un numero algebrico ma non quadratico immaginario allora j(τ) è trascendente.
La funzione j ha numerose altre proprietà trascendentali. Kurt Mahler ha congetturato un particolare risultato di trascendenza che viene spesso definito congettura di Mahler, sebbene sia stato dimostrato come corollario dei risultati di Yu. V. Nesterenko e Patrice Phillipon negli anni '90. La congettura di Mahler era che se τ fosse nel semipiano superiore allora e2πiτ e j(τ) non sarebbero mai stati entrambi simultaneamente algebrici. Ora sono noti risultati più forti, ad esempio se e2πiτ è algebrico allora i seguenti tre numeri sono algebricamente indipendenti, e quindi almeno due di essi trascendenti:
Ancora più notevole, i coefficienti di Fourier per gli esponenti positivi di q sono le dimensioni della parte graduata di una rappresentazione di un'algebra graduata a dimensione infinita del gruppo mostro chiamato modulo moonshine – in particolare, il coefficiente di qn è la dimensione del grado-n parte del modulo moonshine, e il primo esempio è l'algebra di Griess, che ha dimensione 196,884, corrispondente al termine 196884q. Questa sorprendente osservazione, fatta per la prima volta da John McKay, fu il punto di partenza per la teoria moonshine.
Lo studio della congettura di Moonshine ha portato John Horton Conway e Simon P. Norton a esaminare le funzioni modulari di genere zero. Se sono normalizzate per avere la forma
allora John G. Thompson dimostrò che esiste solo un numero finito di tali funzioni (di un certo livello finito), e Chris J. Cummins in seguito dimostrò che ce ne sono esattamente 6486, 616 delle quali hanno coefficienti interi.[6]
ovvero un rapporto di funzioni theta di Jacobi, ed è il quadrato del modulo ellittico k(τ).[7] Il valore di j rimane invariato quando λ viene sostituito da uno qualsiasi dei sei valori del birapporto: [8]
I punti di diramazione di j sono in {0, 1, ∞}, quindi j è una funzione di Belyi.[9]
Finora abbiamo considerato j come una funzione di una variabile complessa. Tuttavia, come invariante per le classi di isomorfismo delle curve ellittiche, può essere definito puramente algebricamente.[10] Sia
una curva ellittica piana su qualsiasi campo . Quindi possiamo eseguire trasformazioni successive per portare l'equazione di cui sopra nella forma standard y2 = 4x3 − g2x − g3 (notare che questa trasformazione può essere effettuata solo quando la caratteristica del campo non è uguale a 2 o 3). I coefficienti risultanti sono:
La funzione inversa dell'invariante j può essere espressa in termini della funzione ipergeometrica 2F1 (vedi anche l'articolo Equazione di Picard–Fuchs). Esplicitamente, dato un numero N, per risolvere l'equazione j(τ) = N per τ si può procedere in almeno quattro modi.
Metodo 1 : risolvendo la sestica in λ,
entrambi con -invariante . Quindi, i punti razionali di possono essere calcolati come:
Metodo 2 : risolvendo la quartica in γ,
allora,
per uno qualsiasi dei sei valori di λ, dove M è la media aritmetico-geometrica.[N 1]
Gli ultimi tre metodi possono essere trovati nella teoria di Ramanujan delle funzioni ellittiche su basi alternative.
L'inversione viene applicata nei calcoli ad alta precisione dei periodi delle funzioni ellittiche anche quando i loro rapporti diventano illimitati. Un risultato correlato è l'esprimibilità tramite radicali quadratici dei valori di j nei punti dell'asse immaginario le cui grandezze sono potenze di 2 (permettendo così costruzioni con compasso e riga). Quest'ultimo risultato è difficilmente evidente poiché l'equazione modulare per j di ordine 2 è cubica.[11]
La -invariante è sensibile solo alle classi di isomorfismo delle curve ellittiche sui numeri complessi, o più in generale, di un campo algebricamente chiuso. Oltre ad altri campi esistono esempi di curve ellittiche le cui -invariante è la stessa, ma non è isomorfo. Ad esempio, siano le curve ellittiche associate ai polinomi
entrambe aventi l'invariante pari a 1728. Segue che i punti razionali di possono essere calcolati come:
poiché
Non ci sono soluzioni razionali con . Ciò può essere dimostrato utilizzando la formula di Cardano per dimostrare che in quel caso le soluzioni di sono tutte irrazionali. D'altra parte, nell'insieme dei punti
l'equazione per diventa . Dividendo per per eliminare la soluzione , la formula quadratica restituisce le soluzioni razionali:
Se queste curve sono considerate su , esiste l'isomorfismo
che manda
^L'uguaglianza è verificata se la media aritmetico-geometrica di numeri complessi (tale che ) è definita come segue: Siano , , , dove i segni sogno scelti tale che per ogni . Se , il segno è scelto tale che . Allora . Quando sono positivi reali (with ), questa definizione coincide con la solita definizione di media aritmetica-geometrica per numeri reali interi positivi. Vedi The Arithmetic-Geometric Mean of Gauss di David A. Cox.
Fonti
^Template:Cite arXiv Questo documento usa una definizione di diversa, ma se n'è tenuto conto nell'articolo.
^Gareth A. Jones and David Singerman. (1987) Complex functions: an algebraic and geometric viewpoint. Cambridge UP.
^Serge Lang, Elliptic functions, Graduate Texts in Mathematics, vol. 112, Springer-Verlag, 1987, pp. 299–300, ISBN978-1-4612-9142-8.
^ Jonathan M. Borwein e Peter B. Borwein, Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity, First, Wiley-Interscience, 1987, ISBN0-471-83138-7. Theorem 4.8